perm filename PROVER.PUB[1,JRA] blob sn#069100 filedate 1973-10-30 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	
C00003 ENDMK
CāŠ—;

.REQUIRE "TITLE.PUB" SOURCE_FILE
.NEXT PAGE
.EVERY HEADING(SAILON-73,,User's Manual for the Theorem-prover)
.EVERY FOOTING(,{PAGE},)
.REQUIRE "SECOND.PUB" SOURCE_FILE
.NEXT PAGE
.REQUIRE "RUNT.PUB" SOURCE_FILE
.NEXT PAGE